1. Advances in Cryptology CRYPTO' 93 :
پدیدآورنده: Gerhard Goos
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
2. Advances in Web-Age Information Management :
پدیدآورنده: Gerhard Goos
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
D3
G474
2003
3. Algebraic structure theory of sequential machines
پدیدآورنده: Hartmanis, Juris
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4H3
4. Algebraic structure theory of sequential machines
پدیدآورنده: Hartmanis, Juris.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
H3
5. Complexity theory retrospective: in honor of Juris Hartmanis on the occasion of his sixtieth birthday, July 5, 1988
پدیدآورنده: Alan L. Selman, editor
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Computational complexity,، Hartmanis, Juris
رده :
QA
267
.
7
.
C67
1990
6. Complexity theory retrospective : in honor of Juris Hartmanis on the occasion of his sixtieth birthday, July 5, 1988
پدیدآورنده: Alan L. Selman, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Hartmanis, Juris
رده :
QA
267
.
7
.
C66
7. Computational Science and Its Applications ICCSA 2003 :
پدیدآورنده: Gerhard Goos
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
8. Computational Science and Its Applications ICCSA 2003 :
پدیدآورنده: Gerhard Goos
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
9. Computational complexity theory
پدیدآورنده: Juris Hartmanis, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity
رده :
QA
1
.
P69
Vol
.
38
10. Computational complexity theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computational complexity
رده :
QA
267
.
C592
1989
11. Computer Aided Verification :
پدیدآورنده: Gerhard Goos
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA76
.
76
.
V47
G474
2000
13. Digital and Image Geometry :
پدیدآورنده: Gerhard Goos
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
TA1637
.
G474
2001
14. ECOOP' 93 Object-Oriented Programming :
پدیدآورنده: Gerhard Goos
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
15. Feasible computations and provable complexity properties
پدیدآورنده: Juris Hartmanis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33
16. Lecture notes in computer science, 1-100
پدیدآورنده: / edited by G. Goos and J. Hartmanis
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computers -- Periodicals, Indexes
رده :
QA
75
.
5
.
L4
17. Multiset Processing :
پدیدآورنده: Gerhard Goos
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA75
.
5
G474
2001
